Participatory Research / Automated reasoning / Environmental Sciences / Natural language / Agricultural Systems / Formal method / Research and Development / Knowledge Acquisition / Knowledge base / Scientific Knowledge / FARMING SYSTEM / Qualitative Modeling / Formal method / Research and Development / Knowledge Acquisition / Knowledge base / Scientific Knowledge / FARMING SYSTEM / Qualitative Modeling